chain_sys(Cmd) == Cmd + (from:Id  (Cmd List)) 

latex

Definitions	left + right, x:A  B(x), Id, type List
FDL editor aliases	chain_sys